Paradoja de Richard

En lógica, la Paradoja de Richard es una antinomia de la teoría de conjuntos y el lenguaje natural que fue descrita por primera vez por el matemático Jules Richard en 1905. La paradoja se usa comúnmente para denotar la importancia de distinguir entre las matemáticas y las metamatemáticas.

Kurt Gödel citó específicamente la antinomia de Richard como un análogo semántico a su resultado de incompletitud en la introducción de Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados. La paradoja también fue una motivación para el desarrollo de las matemáticas impredicativas.